Metric Space-based Test-data Adequacy Criteria

Developing Test Adequacy Criteria for OO Software

Test adequacy criteria for UML design models

Systematic design testing, in which executable models of behaviours are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. In this paper a technique for testing executable forms of UML (Unified Modelling Language) models is described and test adequacy criteria based on UML model elements are proposed. The criteria can be used to de...

A Formal Evaluation of Mutation and Data Flow Based Test Adequacy Criteria

Evaluation of the adequacy of a test set is a frequently encountered problem in software testing. Data ow and mutation-based testing methods provide several criteria to evaluate test sets. This work considers the c-use, p-use, and all-uses based data ow criteria and compares these with a mutation-based criterion. We show that for the most general class of programs, mutation and the above data o...

An Adequacy Based Test Data Generation Technique Using Genetic Algorithms

As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test dat...

Fault Detection Effectiveness of UML Design Model Test Adequacy Criteria

UML models are widely used by software developers to model complex software systems. Testing the models can reveal flaws in the early stages of software development. Criteria based on UML class diagrams and interaction diagrams were proposed earlier to specify UML model elements that need to be covered during testing. This paper describes a case study that evaluated the fault detection effectiv...